Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
561	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming
562	Umbraco Contour 1.1 Developer Documentation Per Ploug HansenContains information for developers working with and extending Umbraco Contour Add to Reading List Source URL: nightly.umbraco.org Language: English - Date: 2011-08-26 07:27:34 Markup languages Functional languages Umbraco Workflow technology XSLT Workflow XPath Microsoft Visual Studio Computing Web standards XML
563	Type-Level Computations in Scala Stefan Zeiger Motivation •  Heterogeneous collection types (HList, HArray) val l1 = 42 :: "foo" :: Some(1.0) :: "bar" :: HNil Add to Reading List Source URL: slick.typesafe.com Language: English - Date: 2015-05-08 12:55:33 Functional languages Data types C++ Standard Library Boolean algebra Boolean data type Scala Sequence container Operator overloading Id Computing Software engineering Computer programming
564	A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-04-16 05:17:54 Functional languages Recursion Data types Type theory Procedural programming languages Standard ML OCaml Caml Module Software engineering Computer programming Computing
565	Lisp-in-Lisp: High Performance and Portability Rodney A. Brooks Richard P. Gabriel Guy L. Steele Jr. 1. Introduction Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:56:02 Functional languages Lisp programming language Lisp NIL Interlisp Maclisp Interpreter Genera Compiler Computing Software engineering Computer programming
566	Contents Introduction 3 1 Setting up a converter Add to Reading List Source URL: context.aanhet.net Language: English - Date: 2010-05-28 09:26:34 Technical communication ConTeXt XSLT XML TeX Computing Markup languages Functional languages
567	A First Look at ML Chapter Five Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:42:45 Functional languages Data types Procedural programming languages Standard ML Id Boolean data type D Programming language Conditional Software engineering Computer programming Computing
568	Statistical weaknesses in the alleged RC4 keystream generator Marina Pudovkina Moscow Engineering Physics Institute (State University) Abstract. A large number of stream cipher were proposed and impleme Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2002-11-11 15:22:27 Deduction Q Entailment RC4 I1 Logic Cryptography Functional languages
569	BRICS Basic Research in Computer Science BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations An Operational Foundation for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-01-23 08:27:09 Control flow Continuations Procedural programming languages Functional programming Delimited continuation Eval Continuation-passing style Continuation Standard ML Software engineering Computing Computer programming
570	Zef : A Computer Vision Library for Haskell Saumitro Dasgupta Department of Computer Science Stanford University Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Functional languages Higher-order functions Haskell Literate programming OpenCV Map Fold ML Function Software engineering Computing Computer programming

UPDATE